(0 9 7)(1 11 3)(2 12 5)(4 16 15)(6 20 18)(8 13 10)(14 19 17)
ALLOWS (11/8)-SEQUENCE
1: (5 9 12)
(0 9 2 12 7)(1 11 3)(4 16 15)(5)(6 20 18)(8 13 10)(14 19 17)
2: (8 13 10)
(0 9 2 12 7)(1 11 3)(4 16 15)(5)(6 20 18)(8)(10)(13)(14 19 17)
3: (2 12 7)
(0 9 2)(1 11 3)(4 16 15)(5)(6 20 18)(7)(8)(10)(12)(13)(14 19 17)
4: (1 11 3)
(0 9 2)(1)(3)(4 16 15)(5)(6 20 18)(7)(8)(10)(11)(12)(13)(14 19 17)